Previous | 
Home
Section: Partnerships and Cooperations
National Initiatives
-
Thomas Chatain, Stefan Haar , Serge Haddad and Stefan Schwoon are participating in the ANR Project ALGORECELL.
Overall Objectives
Research Program
Application Domains
New Results
- Optimal constructions for active diagnosis
- Diagnosability of Repairable Faults
- Diagnostic et contrôle de la dégradation des systèmes probabilistes
- The Complexity of Diagnosability and Opacity Verification for Petri Nets
- Probabilistic Disclosure: Maximisation vs. Minimisation
- D-SPACES: Implementing Declarative Semantics for Spatially Structured Information
- Unbounded product-form Petri nets
- Statistical Model-Checking for Autonomous Vehicle Safety Validation
- Une sémantique formelle pour les modèles Simulink
- The Logical View on Continuous Petri Nets
- Memoryless Determinacy of Finite Parity Games: Another Simple Proof
- Interval iteration algorithm for MDPs and IMDPs
- Alignment-Based Trace Clustering
- Aligning Modeled and Observed Behavior: A Compromise Between Complexity and Quality
- Temporal Reprogramming of Boolean Networks
- Goal-Driven Unfolding of Petri Nets
- Euler's Method Applied to the Control of Switched Systems
- An Improved Algorithm for the Control Synthesis of Nonlinear Sampled Switched Systems
- Distributed Control Synthesis Using Euler's Method
- Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method
- Metastability-Aware Memory-Efficient Time-to-Digital Converter
- Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks
- Metastability Tolerant Computing
Partnerships and Cooperations
Bibliography
Overall Objectives
Research Program
Application Domains
New Results
- Optimal constructions for active diagnosis
- Diagnosability of Repairable Faults
- Diagnostic et contrôle de la dégradation des systèmes probabilistes
- The Complexity of Diagnosability and Opacity Verification for Petri Nets
- Probabilistic Disclosure: Maximisation vs. Minimisation
- D-SPACES: Implementing Declarative Semantics for Spatially Structured Information
- Unbounded product-form Petri nets
- Statistical Model-Checking for Autonomous Vehicle Safety Validation
- Une sémantique formelle pour les modèles Simulink
- The Logical View on Continuous Petri Nets
- Memoryless Determinacy of Finite Parity Games: Another Simple Proof
- Interval iteration algorithm for MDPs and IMDPs
- Alignment-Based Trace Clustering
- Aligning Modeled and Observed Behavior: A Compromise Between Complexity and Quality
- Temporal Reprogramming of Boolean Networks
- Goal-Driven Unfolding of Petri Nets
- Euler's Method Applied to the Control of Switched Systems
- An Improved Algorithm for the Control Synthesis of Nonlinear Sampled Switched Systems
- Distributed Control Synthesis Using Euler's Method
- Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method
- Metastability-Aware Memory-Efficient Time-to-Digital Converter
- Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks
- Metastability Tolerant Computing
Partnerships and Cooperations
Bibliography